![arxiv：2503.04731V1 [CS.LO] 2025年1月31日](/simg/2/2fc93682539b307d80eb9355c3a3830234bf790b.webp)
机构名称：
¥ 1.0
答案集编程（ASP）是一个突出的问题模型和解决框架，其解决方案称为答案集。认知逻辑程序（ELP）扩展了ASP，以推理全部或某些答案集。解决方案可以看作是多个答案集（称为世界观）的后果。虽然对命题计划的综合性进行了充分的研究，但非地面案例仍然开放。本文确定了非地面ELP的复杂性。我们为众所周知的程序片段提供了一张全面的图片，事实证明，该类别的nexptime是完整的，可以访问高达σp2的甲壳。在定量设置中，我们建立了＃EXP以外的复杂性的复杂性结果。为了减轻高复杂性，我们在界定的谓词ARITY的情况下建立了结果，达到了多项式层次结构的第四级。最后，我们为参数树宽度提供了伦理紧密的运行时结果，该宽度具有定量推理中的应用，在该定量推理中，我们推理了epymic文字的（边际）概率。
arxiv：2503.04731V1 [CS.LO] 2025年1月31日
主要关键词
![arxiv：2503.04731V1 [CS.LO] 2025年1月31日PDF文件第1页](/bimg/0/0e78363e323fe7ce5441756661388fc811411309.webp)
![arxiv：2503.04731V1 [CS.LO] 2025年1月31日PDF文件第2页](/bimg/b/b3e6ad4d2c72efa87f3764631a5d00cd5adb29ef.webp)
![arxiv：2503.04731V1 [CS.LO] 2025年1月31日PDF文件第3页](/bimg/6/687a4ff38c7f8188a11e1f26e5833fb46be0b158.webp)
![arxiv：2503.04731V1 [CS.LO] 2025年1月31日PDF文件第4页](/bimg/0/00472bb05d2bfcff51ec9f6d5a6d407f503ded95.webp)
![arxiv：2503.04731V1 [CS.LO] 2025年1月31日PDF文件第5页](/bimg/f/f3164805a179a5ed5bf1d5a78777a361a007c8e1.webp)
相关文件推荐
![arxiv：2501.15156V1 [CS.LO] 2025年1月25日](/simg/5/5405ac3926516012a20e4a50d99b699c92bc33ff.webp)
![arxiv：2503.15508V1 [CS.HC] 2025年1月27日](/simg/b/bddf05eecc0205570cdee8d56e7965d2b989e8f5.webp)
![arxiv：2407.17127V2 [CS.LO] 2025年1月8日](/simg/c/cc160a10e3c6558e5230750f907ee7dfb81adb5c.webp)
![arxiv：2503.11363v1 [CS.SD] 2025年3月14日](/simg/0/0e8adeebef69939aa8d1a60d3f98ba6814593d92.webp)
![arxiv：2503.13808V1 [CS.NI] 2025年3月18日](/simg/1/142bfa7988361c1d18e366e6089eab9f52a794a6.webp)
![arxiv：2503.02012v1 [CS.AI] 2025年3月3日](/simg/6/6ee8bc153624c8058ab47500856aba283a094b1f.webp)
![arxiv：2503.10265v1 [CS.AI] 2025年3月13日](/simg/c/c07f1e58a50d0a46a5a998124fff081c52633bc8.webp)
![arxiv：2403.11780v3 [CS.SD] 2025年1月6日](/simg/f/f5806b5311035fb1680d362662dd925684183668.webp)
![arxiv：2501.17332v1 [CS.SD] 2025年1月28日](/simg/c/cecdf7c79af8de2d51a73dba6a5b29af4724c499.webp)
![arxiv：2503.10110V1 [CS.RO] 2025年3月13日](/simg/6/60190ca948df6bcb755c1511718ee97b5c8f6973.webp)
![arxiv：2503.02582v1 [CS.AI] 2025年3月4日](/simg/e/e4f93f525fd1e4a474e629bcba4f481c3225c78e.webp)
![arxiv：2409.06016v3 [CS.AI] 2025年1月23日](/simg/4/48b5d4ab8161255fb9ff138d206cbd4b40151657.webp)
![arxiv：2408.11735v3 [CS.AI] 2025年1月7日](/simg/e/ea366222ff045d7f392b2f1f4d7166ed2cd8d1b0.webp)
![arxiv：2403.09323v4 [CS.CV] 2025年1月27日](/simg/6/6a250faa3bde1df835a0c39d353ff212cb76001e.webp)
![arxiv：2503.08148v1 [CS.CV] 2025年3月11日](/simg/6/67376c889f5b97b401db6d093a2601e11175bfdb.webp)
![arxiv：2503.00450V1 [CS.CV] 2025年3月1日](/simg/7/70f98bbcfaa2f06bb6204e86710947587f3aa6fc.webp)
![arxiv：2503.17497V1 [CS.CV] 2025年3月21日](/simg/e/e6eaf7aaa9d9a97b14b32506dbd5f7b3a3498472.webp)
![arxiv：2408.11518v2 [CS.CV] 2025年1月28日](/simg/a/a9854060be392dfc811c1a7614c4edcac22dd24d.webp)
![arxiv：2503.00796v2 [CS.CV] 2025年3月4日](/simg/3/342e0fa5b578a886c37870b8cd5a486ab434d4c3.webp)
![arxiv：2503.04137V1 [CS.LG] 2025年3月6日 div>](/simg/4/4c3f55801d995e756b2d4cc9371cda01b66db8e1.webp)
![arxiv：2503.00691v1 [CS.SE] 2025年3月2日](/simg/8/8525459ed0b418d52243a0133142f40ca578b18a.webp)
![arxiv：2503.09277V1 [CS.CV] 2025年3月12日](/simg/e/e645e53140763fdc4070038122156902e6f701ab.webp)
![arxiv：2501.11140v1 [CS.CV] 2025年1月19日](/simg/c/c5b934f5cf4e2d523434ef770236f70a6e5bcd53.webp)
![arxiv：2503.04413v1 [CS.CL] 2025年3月6日](/simg/e/e45ce123409f996a371f7d1b4596a881c6beb67f.webp)
![arxiv：2503.06072v1 [CS.CL] 2025年3月8日](/simg/8/8a5a7d14cd96c97feda26c8680aedce65299ac09.webp)
![arxiv：2503.01859v1 [CS.CL] 2025年2月23日](/simg/e/e006c620c4f74b25130b4f05227b44ef1de8c6d2.webp)
![arxiv：2402.01968v2 [CS.MA] 2025年1月29日](/simg/f/f4565a64df6afeec01265e3d9fd241812f94061a.webp)
![arxiv：2503.17509v1 [CS.CL] 2025年3月21日](/simg/e/e335f6a4f78c87691f98d39a39b7d16bc5cc3a9a.webp)